An Approach for Testing Real Time Protocol Entities

We propose a two step method and an architecture for testing real time protocol entities In the rst step the timed speci cation of the implementation under test is transformed into an equivalent untimed speci cation Then in the second step test methods for non real time systems may be used In comparison with other test methods using sim ilar approaches our method avoids state explosion A transformation algorithm of the rst step and a test architecture are proposed